008abc055b210b4e2c6e06ebbff8dd5614c5f71e,projects/batfish-client/src/org/batfish/client/BfCoordWorkHelper.java,BfCoordWorkHelper,isReachable,#,484

Before Change


         }
         if (e.getMessage()
               .contains("SocketException: Unexpected end of file")) {
            _logger.errorf(
                  "SocketException while connecting to coordinator. (Are you using SSL?)\n");
            return false;
         }
         throw e;

After Change


         }
         if (e.getMessage()
               .contains("SocketException: Unexpected end of file")) {
            if (chatty) {
               _logger.errorf(
                     "SocketException while connecting to coordinator. (Are you using SSL?)\n");
            }
            return false;
         }